Validation Test Codes Development of Static Analysis Tool for Secure Software
نویسندگان
چکیده
منابع مشابه
Static Modeling of Oil Field Mineral Scales: Software Development
Mineral scale deposition in near wellbore regions of injection wells is one of the main challengeable issues during the water injection process, which magnifies the importance of robust models in predicting the amount of mineral scale deposition such as calcium sulfate. One of the main challenges of CaSO4 scale is in carbonated reservoirs, in which sensitive behavior is observed in related to t...
متن کاملFormal Validation of Software for Secure Systems
This paper presents the work currently conducted in the \DS 3 " project 1 which is concerned with the integration and formal validation of oo-the-shelf components in secure systems. It explores two alternate approaches: a top-down approach of encapsulating application components into interoperating controlled modules and checks their assembly; and a bottom-up approach which checks the absence o...
متن کاملA Tool Support for Secure Software Integration
This paper presents a tool for the integration of security-aware services based applications that is constructed on the principles of security characterization of individual software services. The tool uses the technique of reasoning between the ensured security properties of the services and the security requirements of the user’s system. Rather than reporting the research outcomes, in this pa...
متن کاملSoftware Development for Simulation of Reformer Furnace
In recent years, lots of research has been done on effective usage of natural gas; the first step in these processes is conversion of natural gas to Syngas. Natural gas reforming process by refomer furnace is commonly used for syngas and hydrogen production. In this paper, a windows based software, RIPI-RefSim, is introduced. By using proper heat, mass, kinetic and thermodynamic models as w...
متن کاملSecure Software Development Model
--Extreme programming (XP) is a modern approach for iterative development of software in which you never wait for the complete requirements and start development. Security is usually unnoticed during early phases of software life cycle. In this paper, our main objective is to focus on security requirements at each phase of software life cycle. In this regard, XP is a key solution that provides ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Korea Information and Communications Society
سال: 2013
ISSN: 1226-4717
DOI: 10.7840/kics.2013.38c.5.420